]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d907083) | patch
extensionSystem: Split out the actual extension disabling
authorMarco Trevisan (Treviño) <mail@3v1n0.net>
Thu, 7 May 2026 18:20:24 +0000 (20:20 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sun, 2 Aug 2026 16:49:06 +0000 (18:49 +0200)
commit788407dc248838f22268dee431702eff7dcf5937
tree14fa48778a5420ee8d4770e9d911f97535212c7etree | snapshot
parentd9070835c51c0697e4d3ffdeaba09ce39323f674commit | diff
extensionSystem: Split out the actual extension disabling

We will need it in an upcoming commit, and let's try to share code, even
if it's not much

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/4276>
(cherry picked from commit 3a4bb929e34d6fbe36f84a335180d063cdf7d413)
js/ui/extensionSystem.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.